<?php

// This file starts the server action right away; 
// it cleans inactive users (which didn't press the log out button). 

session_start();

?>
<script>
<!--

setTimeout("document.location = document.location;", 5000);

-->
</script>

<?
$_GET['action'] = 'server';

require_once("inc/global.php");

?>